Tersine matematik, belirli bir teoremi ispatlamak için gerekli olan en az sayıdaki aksiyomların belirlenmesiyle ilgili matematik dalıdır. Çoğunlukla taban (kurucu) aksiyomları zayıf olan matematiksel kuramlarda ortaya atılan birçok teoremin teoremi kanıtlamak için gerekli olan (ve taban aksiyomlara eklenen) ek aksiyoma denk olduğu ortaya çıkmaktadır.
Tersine matematik teoremleri, modern matematiğin mantıksal yapısının dayandığı ikinci dereceden aritmetiğin (Z<sub>2</sub>) alt dallarına göre sınıflandırarak hangi teoremin hangi Z<sub>2</sub> alt dalında tanıtlanabileceğini inceler.
Konusu nedeniyle tersine matematik matematiğin temelleri ve matematiğin felsefesi dallarıyla yakından ilgilidir.
Bu dalın başlıca kurucuları arasında Harvey Friedman ve Stephen G. Simpson sayılır.
Orijinal kaynak: tersine matematik. Creative Commons Atıf-BenzerPaylaşım Lisansı ile paylaşılmıştır.
Ne Demek sitesindeki bilgiler kullanıcılar vasıtasıyla veya otomatik oluşturulmuştur. Buradaki bilgilerin doğru olduğu garanti edilmez. Düzeltilmesi gereken bilgi olduğunu düşünüyorsanız bizimle iletişime geçiniz. Her türlü görüş, destek ve önerileriniz için iletisim@nedemek.page